NASA Langley’s Research and Technology-Transfer Program in Formal Methods

This paper presents an overview of NASA Langley’s research program in formal methods. The major goals of this work are to make formal methods practical for use on high integrity systems, to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects, and to exploit this technology to help achieve NASA’s goals in aeronautics. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems.